'<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
          "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/>
  <link href="common/css/sf.css" rel="stylesheet" type="text/css"/>
  <link href="common/css/vfa.css" rel="stylesheet" type="text/css"/>
  <title>Verified Functional Algorithms</title>
</head>
<link href="common/jquery-ui/jquery-ui.css" rel="stylesheet">
<script src="common/jquery-ui/external/jquery/jquery.js"></script>
<script src="common/jquery-ui/jquery-ui.js"></script>
<script src="common/toggleproofs.js"></script>
<link href="common/css/vfa.css" rel="stylesheet" type="text/css"/>

<body>
  <div id="page">
    <div class="doc" id="index">

      <div id="header">
<a href='https://www.cis.upenn.edu/~bcpierce/sf/current/index.html'>
<img src='common/media/image/sf_logo_sm.png'></a>
</br><a href='toc.html'>  <span class='booktitleinheader'>Volume 3</span><br></br>
<div class='booktitle'>Verified Functional Algorithms</div>
</a>        </div>
      </div>

      <div id="main_home">
        <div id="index_content">

          <div class="column">
            <div class="largeauthors">
              Andrew W. Appel
              <br/><br/><br/><br/>
            </div>
          </div>
          <div class="column">
            &nbsp;
          </div>

          <div id="button_block">
            <div class="button"><a href="toc.html">Read</a></div><br />
            <div class="button"><a href="vfa.tgz">Download</a></div>
          </div>
          
          <p>Version 1.4 (25 Aug 2018, Coq 8.8.0)</p>
        </div>
        
      </div>
    </div>
  </div>

</body>
</html>
            
